Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
411	June 21, 1967 CGTM No. 16 Dan Ross BOX SYNTAX A 2-DIMENSIONAL METALANGUAGE Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:33:00 Computing Backus–Naur Form Formal grammar IMP programming language Syntax Semantics Terminal and nonterminal symbols Regular expression Ficus Formal languages Software engineering Computer programming
412	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
413	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:57 Formal languages Natural language processing Diagrams Recursive transition network Parse tree Formal grammar Language Adverb Preposition and postposition Linguistics Syntax Parts of speech
414	FACILE: DESCRIPTION OF THE NE SYSTEM USED FOR MUC-7 William J Black, Fabio Rinaldi and David Mowatt Department of Language Engineering UMIST PO Box 88, Sackville Street Manchester M60 1QD, United Kingdom Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:44:49 Compiler construction Regular expressions Formal languages Parsing Natural language processing Lexical analysis Information extraction Pattern matching C preprocessor Computing Programming language implementation Software engineering
415	An Analyzer for ANSI C D. J. Banta D. L. Carroll S. A. Maurich J. R. Roccatagliata P. A. Shanahan Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-30 22:08:42 Procedural programming languages Compiler construction Source code Programming language implementation Cross-platform software Parsing Syntax C Formal language Software engineering Computing Computer programming
416	Microsoft PowerPoint - ReserachComputerScience.ppt [Compatibility Mode] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2015-03-10 11:49:14 Research methods Theoretical computer science Design science Engineering design Research Formal language Information systems Formalism Programming language Science Logic Mathematics
417	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
418	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
419	Perl versiondocumentation - TAP::Parser::Grammar NAME TAP::Parser::Grammar - A grammar for the Test Anything Protocol. VERSION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:52:05 Formal languages Compiler construction Parsing Compiling tools Test Anything Protocol Extended Backus–Naur Form Lex Formal grammar Regular expression Programming language implementation Computing Software engineering
420	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing

UPDATE